mt_struct mts128[] = {
    {-1582470400,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2818048},
    {-1516676607,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-873145472,-11173888},
    {-1768556286,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-2818048},
    {-2023421693,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-881534208,-2260992},
    {-366845948,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1250501248,-2818048},
    {-1877519867,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604676480,-36339712},
    {-477118202,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453715328,-2785280},
    {-867697657,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453191040,-2785280},
    {-1730821624,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225467008,-2785280},
    {-517231351,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1485513856,-2785280},
    {-167679478,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246438016,-2785280},
    {-1060804597,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-3866624},
    {-295882996,8,17,23,32,-1,-8388608,8388607,12,18,7,15,727137024,-688128},
    {-1066125043,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-730505856,-2818048},
    {-888992498,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1209180544,-34242560},
    {-717486833,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-185279872,-3833856},
    {-1789172464,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991588480,-163840},
    {-571768815,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-155885696,-36339712},
    {-1859950574,8,17,23,32,-1,-8388608,8388607,12,18,7,15,654138240,-4882432},
    {-926020077,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1806908288,-9338880},
    {-982148588,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608740736,-2850816},
    {-1616633323,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727355520,-2785280},
    {-152728554,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246962304,-2818048},
    {-1757858537,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-614113408,-36339712},
    {-27703016,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922050176,-36372480},
    {-1230711783,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649944960,-36339712},
    {-1789902566,8,17,23,32,-1,-8388608,8388607,12,18,7,15,996498048,-2785280},
    {-1392626405,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608870528,-43679744},
    {-1035542500,8,17,23,32,-1,-8388608,8388607,12,18,7,15,915758976,-36339712},
    {-753184483,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996315264,-2785280},
    {-1051756258,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-638264704,-2785280},
    {-1439697377,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922442624,-4915200},
    {-1023962336,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1967825024,-35291136},
    {-1293930975,8,17,23,32,-1,-8388608,8388607,12,18,7,15,385833856,-8093696},
    {-1583181022,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-885572736,-1605632},
    {-1987863773,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1514349184,-2785280},
    {-2052324060,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1745526912,-36339712},
    {-706589403,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1963630976,-36339712},
    {-1491309786,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1984744064,-1769472},
    {-606770905,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-462103296,-2818048},
    {-1470252504,8,17,23,32,-1,-8388608,8388607,12,18,7,15,989682560,-688128},
    {-1702936791,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1955276160,-2719744},
    {-2104034774,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-155754880,-36339712},
    {-1269398997,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-458957440,-2818048},
    {-2034310100,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1158193536,-36339712},
    {-389712595,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-688562304,-44728320},
    {-1280293330,8,17,23,32,-1,-8388608,8388607,12,18,7,15,447568768,-2654208},
    {-1785782225,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-915088640,-2785280},
    {-1531973072,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921524864,-3866624},
    {-1354095311,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1280002432,-720896},
    {-1796965838,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613064832,-35848192},
    {-658655693,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-1599890892,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229103488,-36339712},
    {-2090117323,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1266498432,-2785280},
    {-1296124106,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1243121792,-285933568},
    {-1582567625,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1743085184,-36339712},
    {-493754824,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1258496896,-3833856},
    {-1800062151,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493868928,-37388288},
    {-1494414790,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2785280},
    {-528566725,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263346304,-2818048},
    {-203851204,8,17,23,32,-1,-8388608,8388607,12,18,7,15,460675840,-2785280},
    {-1515748547,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224777856,-36372480},
    {-998297538,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-457385344,-3899392},
    {-777750721,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-143336832,-2850816},
    {-1757722048,8,17,23,32,-1,-8388608,8388607,12,18,7,15,989289344,-2785280},
    {-109084351,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2850816},
    {-43754430,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-898310784,-2785280},
    {-1454566589,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922049152,-2785280},
    {-1733393852,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922049152,-2785280},
    {-1606153915,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1589999488,-278593536},
    {-619274682,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1687397760,-3866624},
    {-1556203961,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699389568,-33587200},
    {-995377080,8,17,23,32,-1,-8388608,8388607,12,18,7,15,464870272,-11173888},
    {-1004305079,8,17,23,32,-1,-8388608,8388607,12,18,7,15,452419200,-36372480},
    {-367916214,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2785280},
    {-901299637,8,17,23,32,-1,-8388608,8388607,12,18,7,15,920476416,-2785280},
    {-2079383220,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723162496,-36339712},
    {-1963188659,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-642459008,-2850816},
    {-528287410,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2000509824,-3211264},
    {-1130657201,8,17,23,32,-1,-8388608,8388607,12,18,7,15,984964992,-37421056},
    {-681071536,8,17,23,32,-1,-8388608,8388607,12,18,7,15,654138112,-2785280},
    {-1346056111,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1735744384,-2785280},
    {-1017743790,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921525888,-36339712},
    {-29974445,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493902464,-11698176},
    {-1916547500,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229530240,-12222464},
    {-1537041323,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453059968,-2785280},
    {-1156697770,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493902720,-2785280},
    {-396475305,8,17,23,32,-1,-8388608,8388607,12,18,7,15,989159040,-36339712},
    {-1045615016,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727486848,-10649600},
    {-2054999207,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699389568,-36339712},
    {-1398759334,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1975344512,-688128},
    {-1678024869,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2000510592,-36372480},
    {-1776398500,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1978621824,-19562496},
    {-1529046435,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-873145728,-753664},
    {-376758946,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-747194496,-19595264},
    {-1901508257,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1241719424,-2785280},
    {-2107819680,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-609919104,-19038208},
    {-257824415,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-626172288,-36339712},
    {-1500339102,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991588480,-688128},
    {-268206749,8,17,23,32,-1,-8388608,8388607,12,18,7,15,938958464,-36405248},
    {-311903900,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1739938432,-753664},
    {-722046619,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-442049152,-2785280},
    {-1690794138,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-629875328,-163840},
    {-250353817,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-605724800,-44761088},
    {-1297848984,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648372096,-36339712},
    {-532923287,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-906700160,-2818048},
    {-22578582,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723292288,-2785280},
    {-559797909,8,17,23,32,-1,-8388608,8388607,12,18,7,15,993353344,-36339712},
    {-1409418900,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995783040,-11206656},
    {-1182376339,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225433216,-44728320},
    {-1078508946,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1972723072,-2785280},
    {-1776959377,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-441131648,-2818048},
    {-494878352,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974951808,-19562496},
    {-1430248335,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1978883456,-2785280},
    {-90072462,8,17,23,32,-1,-8388608,8388607,12,18,7,15,930569088,-3833856},
    {-16928397,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-176890496,-2818048},
    {-1250809484,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1973771648,-589824},
    {-684957067,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1531126400,-720896},
    {-88616586,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1992120960,-2818048},
    {-1283246729,8,17,23,32,-1,-8388608,8388607,12,18,7,15,934632064,-2785280},
    {-1846379656,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-638264704,-2818048},
    {-273498759,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922573440,-2785280},
    {-2073091462,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1962892672,-2818048},
    {-2120453765,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-152740992,-7503872},
    {-1927566212,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-155885696,-37388288},
    {-1466787715,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917462656,-34275328},
    {-1697273986,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263084160,-2785280},
    {-14922113,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1961712512,-12288000}
};


mt_struct mts256[] = {
    {-952125440,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1532174976,-2785280},
    {-672906239,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1740463744,-36339712},
    {-2000999422,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263215232,-2785280},
    {-172372477,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1252866688,-688128},
    {-426732028,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1217038592,-554336256},
    {-1605859323,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151725184,-10649600},
    {-1214355962,8,17,23,32,-1,-8388608,8388607,12,18,7,15,666197632,-37421056},
    {-464074233,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420423040,-2785280},
    {-1243534840,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922573440,-3833856},
    {-194277879,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951040,-11698176},
    {-602312182,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-877339776,-2818048},
    {-1977471477,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-190521984,-753664},
    {-1341322740,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2003132288,-35815424},
    {-442687475,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263215232,-2818048},
    {-1670409714,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1161863552,-36339712},
    {-702426609,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-2785280},
    {-1048870896,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604710272,-2260992},
    {-1130414575,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-441655936,-2785280},
    {-916878318,8,17,23,32,-1,-8388608,8388607,12,18,7,15,998202752,-688128},
    {-145898989,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855872,-36339712},
    {-951393772,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-612574592,-2850816},
    {-2141223915,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604710272,-1736704},
    {-517722602,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1486562432,-2785280},
    {-49782249,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-369805696,-2818048},
    {-1631740392,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1766498688,-36339712},
    {-876684263,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-873145728,-688128},
    {-641296870,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608346240,-36372480},
    {-1866813925,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1711234944,-17498112},
    {-1856949732,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453715328,-2260992},
    {-1284168675,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-407806336,-34308096},
    {-1052385250,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1975345024,-19562496},
    {-1675914721,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-155919488,-10125312},
    {-437996512,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-159555968,-36372480},
    {-1084397023,8,17,23,32,-1,-8388608,8388607,12,18,7,15,645226112,-36208640},
    {-1824553438,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1251811968,-2686976},
    {-419161053,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225302400,-34242560},
    {-786722780,8,17,23,32,-1,-8388608,8388607,12,18,7,15,703937152,-2785280},
    {-325414875,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1678942592,-19562496},
    {-469966298,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991326592,-11206656},
    {-655122905,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-84582784,-33718272},
    {-114067928,8,17,23,32,-1,-8388608,8388607,12,18,7,15,988765056,-5931008},
    {-429724119,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1466252160,-2818048},
    {-2030012886,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613064832,-2850816},
    {-743541205,8,17,23,32,-1,-8388608,8388607,12,18,7,15,666197632,-36372480},
    {-565419988,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1937077504,-537559040},
    {-1504697811,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2785280},
    {-1143942098,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-638133632,-2785280},
    {-1528773073,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727880064,-3866624},
    {-1397327824,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-462103680,-2785280},
    {-1996643791,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-630923904,-2785280},
    {-1565728206,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723292544,-3342336},
    {-50938829,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-688128},
    {-420799948,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613064832,-19431424},
    {-874563531,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727487616,-36372480},
    {-221067210,8,17,23,32,-1,-8388608,8388607,12,18,7,15,993876864,-2785280},
    {-1918372297,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2293760},
    {-1220836296,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970757504,-20611072},
    {-230647239,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1575313280,-78282752},
    {-1788361158,8,17,23,32,-1,-8388608,8388607,12,18,7,15,989682560,-2785280},
    {-875141573,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-11173888},
    {-30673348,8,17,23,32,-1,-8388608,8388607,12,18,7,15,703413120,-720896},
    {-1497589187,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2055036288,-1736704},
    {-1126051266,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1763353856,-2785280},
    {-1695011777,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-638264704,-2785280},
    {-15209408,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1762828416,-36372480},
    {-1582610879,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-454763648,-11206656},
    {-1685457342,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613458048,-36339712},
    {-209561021,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1719492224,-36372480},
    {-65092028,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-688562560,-36372480},
    {-1002444731,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494819968,-2785280},
    {-539151290,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1722112640,-2850816},
    {-1917514169,8,17,23,32,-1,-8388608,8388607,12,18,7,15,657284736,-36339712},
    {-115554744,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1678286976,-42631168},
    {-426882999,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995922048,-2785280},
    {-515802038,8,17,23,32,-1,-8388608,8388607,12,18,7,15,865957248,-268992512},
    {-9057205,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974295936,-2785280},
    {-157707700,8,17,23,32,-1,-8388608,8388607,12,18,7,15,934633088,-35323904},
    {-1557235123,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922050432,-43712512},
    {-621105074,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1736400768,-37388288},
    {-34370993,8,17,23,32,-1,-8388608,8388607,12,18,7,15,647847808,-36339712},
    {-1325826480,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242243712,-2785280},
    {-2106889647,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2785280},
    {-2110757806,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699258496,-36372480},
    {-1581900717,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1162518656,-33751040},
    {-835507628,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498063232,-36405248},
    {-1671548843,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-457908864,-2654208},
    {-1253182378,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608772736,-2785280},
    {-789518761,8,17,23,32,-1,-8388608,8388607,12,18,7,15,460675968,-2850816},
    {-1932188072,8,17,23,32,-1,-8388608,8388607,12,18,7,15,916806528,-3833856},
    {-595761575,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1993685632,-1212416},
    {-2081965478,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699389824,-36372480},
    {-1705652133,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1532174976,-688128},
    {-1086301604,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-876814976,-2785280},
    {-380496803,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1951048832,-2785280},
    {-1414419362,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151560576,-36339712},
    {-1489171873,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1533894528,-17465344},
    {-1903261088,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723161216,-2850816},
    {-608366495,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224909184,-36372480},
    {-1679561118,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1497965952,-2785280},
    {-1150123421,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921524992,-3866624},
    {-1232268700,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1266885248,-2850816},
    {-131759003,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1241719424,-2785280},
    {-1650821530,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1739939456,-36339712},
    {-484900761,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2785280},
    {-357865880,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225302144,-36339712},
    {-1643330455,8,17,23,32,-1,-8388608,8388607,12,18,7,15,427129600,-271220736},
    {-1738721686,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1534549376,-589824},
    {-1847173525,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-122212244,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648372096,-37421056},
    {-2003511699,8,17,23,32,-1,-8388608,8388607,12,18,7,15,656760448,-36372480},
    {-872310162,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-441131648,-2785280},
    {-1047888785,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917854848,-2785280},
    {-1186482064,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-885704064,-688128},
    {-1291459983,8,17,23,32,-1,-8388608,8388607,12,18,7,15,670391936,-36339712},
    {-575603086,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613098112,-720896},
    {-1374195597,8,17,23,32,-1,-8388608,8388607,12,18,7,15,469588864,-11206656},
    {-688140172,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498752128,-3833856},
    {-1841597323,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1722243968,-2785280},
    {-571081610,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1212851328,-10125312},
    {-1616166793,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-147491200,-286949376},
    {-1404805000,8,17,23,32,-1,-8388608,8388607,12,18,7,15,452811648,-4882432},
    {-102460295,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1967825280,-36339712},
    {-867258758,8,17,23,32,-1,-8388608,8388607,12,18,7,15,926243456,-2785280},
    {-1784172933,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723162496,-44597248},
    {-1146086788,8,17,23,32,-1,-8388608,8388607,12,18,7,15,925195136,-688128},
    {-1979027843,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-185803392,-2260992},
    {-963561346,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1987927680,-37388288},
    {-678500737,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-424321152,-36339712},
    {-807768960,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991728000,-2785280},
    {-1457081727,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-684901504,-688128},
    {-1618399614,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2785280},
    {-1965688189,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1259021440,-2785280},
    {-717031804,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1002265216,-720896},
    {-2128610683,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2003131264,-2785280},
    {-1917738874,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727356544,-36372480},
    {-831028089,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-11173888},
    {-1635341688,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970757504,-19595264},
    {-618795383,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225433216,-43679744},
    {-1771607926,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1946853760,-36339712},
    {-1046475125,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225564544,-36339712},
    {-988655988,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995791104,-2818048},
    {-1782567283,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-614113408,-19562496},
    {-1711467890,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995790976,-3833856},
    {-30698353,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263215232,-2818048},
    {-2026833776,8,17,23,32,-1,-8388608,8388607,12,18,7,15,397892480,-11173888},
    {-545622895,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493902720,-1212416},
    {-1365538158,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-36339712},
    {-799910765,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723161472,-557056},
    {-714043244,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1259021696,-2785280},
    {-249877867,8,17,23,32,-1,-8388608,8388607,12,18,7,15,657808000,-2785280},
    {-590739818,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613065344,-2785280},
    {-1093885289,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2785280},
    {-1943234920,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1694671232,-36339712},
    {-2001703783,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1489150336,-36339712},
    {-901081446,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-147793280,-2785280},
    {-1249224549,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225467264,-2785280},
    {-1311921508,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-381731968,-2818048},
    {-1092258147,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493868928,-36339712},
    {-871562082,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-441393792,-2785280},
    {-310362977,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224909184,-36372480},
    {-10927456,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1543330688,-11206656},
    {-772801887,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727880832,-36339712},
    {-2025804126,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498062976,-42500096},
    {-799738717,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2785280},
    {-59109212,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1789213312,-2818048},
    {-870006107,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1233855872,-2818048},
    {-104008538,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608248448,-2785280},
    {-1684395865,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1962236544,-2785280},
    {-891656536,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970626432,-19562496},
    {-1262801751,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1146659200,-36372480},
    {-1713155414,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-152215936,-36339712},
    {-1744554325,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1259021568,-2785280},
    {-92802900,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1497965696,-2785280},
    {-2044768083,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224811904,-2818048},
    {-1585843026,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2785280},
    {-784662353,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-454763904,-2785280},
    {-241954640,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-614113408,-36372480},
    {-1821819215,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263739520,-2293760},
    {-2110214990,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2007856512,-270172160},
    {-1169916749,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1515397760,-1769472},
    {-926329164,8,17,23,32,-1,-8388608,8388607,12,18,7,15,469064576,-11173888},
    {-1759471947,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922050176,-35291136},
    {-1670224714,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-11173888},
    {-1697417545,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970756992,-2785280},
    {-462001480,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-425369984,-36372480},
    {-437201735,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1695195264,-36339712},
    {-722043206,8,17,23,32,-1,-8388608,8388607,12,18,7,15,380985216,-36339712},
    {-619585861,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1682481536,-2818048},
    {-851998020,8,17,23,32,-1,-8388608,8388607,12,18,7,15,931093376,-4882432},
    {-1285264707,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1999977088,-1736704},
    {-1535659842,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-570992896,-285900800},
    {-134919489,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-621453440,-36339712},
    {-269921088,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151725440,-2785280},
    {-726291263,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-605724800,-44728320},
    {-685517118,8,17,23,32,-1,-8388608,8388607,12,18,7,15,915758720,-37453824},
    {-256979261,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2071812992,-2785280},
    {-401917244,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995790976,-2785280},
    {-1616347963,8,17,23,32,-1,-8388608,8388607,12,18,7,15,988633984,-3866624},
    {-1028929338,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-899359360,-3309568},
    {-1828630841,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699389568,-36372480},
    {-1250207032,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648896128,-36339712},
    {-33749303,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2073385600,-2883584},
    {-2134889782,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1961187968,-3833856},
    {-1725328181,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-340968832,-2850816},
    {-287484212,8,17,23,32,-1,-8388608,8388607,12,18,7,15,934632320,-2785280},
    {-715942707,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-615030912,-36339712},
    {-607806258,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1542806400,-9109504},
    {-37739825,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-612540544,-19562496},
    {-842483504,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1259021440,-11108352},
    {-1035200303,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1226482048,-36372480},
    {-645201710,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1241719424,-2785280},
    {-269638445,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-155885952,-36372480},
    {-706971948,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1519985280,-2818048},
    {-1076834603,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-185410944,-3833856},
    {-1894434090,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995791232,-2785280},
    {-852794665,8,17,23,32,-1,-8388608,8388607,12,18,7,15,652566144,-36372480},
    {-1766461224,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-407544192,-36339712},
    {-1838883623,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151463296,-2785280},
    {-710001446,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-625648000,-36339712},
    {-1060766501,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420160896,-2785280},
    {-59242788,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991588480,-753664},
    {-779264291,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2850816},
    {-819904290,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-873145728,-2785280},
    {-357333281,8,17,23,32,-1,-8388608,8388607,12,18,7,15,647323520,-36339712},
    {-1409685280,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-626566272,-2785280},
    {-745294623,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1951047808,-44761088},
    {-705237790,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1000692352,-2785280},
    {-1821440285,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1006460800,-44761088},
    {-2044546332,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-621322368,-42663936},
    {-1638815003,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-881533568,-2785280},
    {-1023426330,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1740070528,-36339712},
    {-831580441,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1380665472,-8945664},
    {-82836760,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996307328,-9109504},
    {-354126615,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1537563520,-11436032},
    {-1404705046,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1162518912,-36339712},
    {-1145990421,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1702190464,-2850816},
    {-666171156,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-626172032,-42631168},
    {-1699193619,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1999985536,-11173888},
    {-1174702866,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-419505280,-2818048},
    {-118444305,8,17,23,32,-1,-8388608,8388607,12,18,7,15,926243456,-2293760},
    {-690864912,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1463121792,-287866880},
    {-590449935,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242243712,-2785280},
    {-2096917262,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613098624,-3866624},
    {-1798263053,8,17,23,32,-1,-8388608,8388607,12,18,7,15,380853120,-557056},
    {-102739724,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727356544,-37421056},
    {-1910675211,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2058837888,-37388288},
    {-8914186,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224942976,-2785280},
    {-799823625,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1807563392,-2785280},
    {-31669000,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-621453440,-44761088},
    {-1963026183,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917856128,-42663936},
    {-743585030,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263215232,-2785280},
    {-1311088901,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995790976,-2785280},
    {-2072380164,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2066570880,-34242560},
    {-804134659,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493771648,-2785280},
    {-1782137602,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-185279872,-3833856},
    {-920990465,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-881534080,-2818048}
};

mt_struct mts512[] = {
    {-952125440,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1532174976,-2785280},
    {-999852031,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-407019904,-36372480},
    {-415734782,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2003655552,-6488064},
    {-893179901,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1807563392,-655360},
    {-366647292,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2004180864,-34111488},
    {-126036987,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2785280},
    {-2008608762,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1806908288,-8421376},
    {-739960825,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-680174720,-3833856},
    {-929858552,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996053376,-11173888},
    {-1692356599,8,17,23,32,-1,-8388608,8388607,12,18,7,15,916807296,-36372480},
    {-1835336694,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-139108736,-37421056},
    {-126974965,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420126848,-44728320},
    {-1221057524,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653614720,-36372480},
    {-890708979,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246438016,-2785280},
    {-1762913266,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-457385344,-2818048},
    {-354724849,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1691035008,-2293760},
    {-850549744,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-2785280},
    {-878559215,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-42663936},
    {-911890414,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-696994432,-3833856},
    {-989060077,8,17,23,32,-1,-8388608,8388607,12,18,7,15,451238656,-2785280},
    {-1229922284,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1701486720,-34242560},
    {-41210859,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420127104,-36339712},
    {-689616874,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-2654208},
    {-805458921,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225433472,-34242560},
    {-629379048,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2073385600,-2883584},
    {-776259559,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1212844160,-563642368},
    {-649221094,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-629875328,-2818048},
    {-395014117,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1250501248,-2785280},
    {-605329380,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727881088,-45809664},
    {-880757731,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1230160000,-33718272},
    {-2044934114,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991588480,-688128},
    {-1500796897,8,17,23,32,-1,-8388608,8388607,12,18,7,15,641129088,-2785280},
    {-661402592,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-421175680,-36372480},
    {-153782239,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493902720,-2785280},
    {-200774622,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242768000,-2818048},
    {-1245238237,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1502291072,-2785280},
    {-1429380060,8,17,23,32,-1,-8388608,8388607,12,18,7,15,431446912,-11239424},
    {-1318511579,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-429598080,-2785280},
    {-335110106,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1963630976,-35291136},
    {-300304345,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1726308224,-44728320},
    {-124231640,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648371072,-2785280},
    {-1007797207,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-2785280},
    {-141988822,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1762304384,-36339712},
    {-820445141,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1695195264,-35323904},
    {-2139150292,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-454239616,-2785280},
    {-916186067,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-375178368,-3080192},
    {-1899493330,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1975344512,-1769472},
    {-1774544849,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1762173312,-36339712},
    {-175236048,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970756992,-2785280},
    {-1508786127,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648372096,-36339712},
    {-472751054,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1978621824,-19562496},
    {-357163981,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2818048},
    {-1240787916,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-176890496,-2818048},
    {-1329052619,8,17,23,32,-1,-8388608,8388607,12,18,7,15,647847808,-36339712},
    {-794170314,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1262690944,-2818048},
    {-1060706249,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1141809280,-44761088},
    {-1529523144,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1966432128,-16941056},
    {-1536100295,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1696244096,-36372480},
    {-1842008006,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498587264,-36339712},
    {-775293893,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604676224,-44761088},
    {-204024772,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921131776,-2785280},
    {-263254979,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995791232,-11272192},
    {-1641924546,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-423699584,-9076736},
    {-1732274113,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1259021568,-2654208},
    {-2103413696,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1695064448,-34242560},
    {-439233471,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-692750464,-278593536},
    {-511251390,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-155362432,-2785280},
    {-786055101,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-160080256,-36339712},
    {-1679734716,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1762304384,-36339712},
    {-1468170171,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2785280},
    {-865267642,8,17,23,32,-1,-8388608,8388607,12,18,7,15,756119168,-537559040},
    {-747667385,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608346240,-45776896},
    {-705295288,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1141547392,-34242560},
    {-1453647799,8,17,23,32,-1,-8388608,8388607,12,18,7,15,654138240,-7045120},
    {-309278646,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1963630720,-35848192},
    {-2120412085,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-369838208,-18513920},
    {-1363807156,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699258496,-36339712},
    {-2008599475,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1999986304,-36339712},
    {-2012949426,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653614976,-36339712},
    {-834656177,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1963638912,-36503552},
    {-954174384,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1532174976,-2785280},
    {-345915311,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1250632320,-688128},
    {-321563566,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604185984,-2785280},
    {-481509293,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-2785280},
    {-1949911980,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493378432,-2785280},
    {-1137676203,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991719552,-3833856},
    {-807428010,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1213367424,-277512192},
    {-122679209,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1811102592,-10125312},
    {-2061674408,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1515397760,-2785280},
    {-897748903,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922180480,-7012352},
    {-632650662,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1990541184,-36241408},
    {-1806961573,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1265974144,-6979584},
    {-1985069988,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453714560,-3342336},
    {-1608952739,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723161216,-2850816},
    {-1603786658,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453715328,-2818048},
    {-1032420257,8,17,23,32,-1,-8388608,8388607,12,18,7,15,652565120,-2785280},
    {-1992495008,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-679659776,-19562496},
    {-1121065887,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1001216640,-3866624},
    {-1455139742,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-407544192,-36372480},
    {-1588125597,8,17,23,32,-1,-8388608,8388607,12,18,7,15,926243456,-2785280},
    {-2071894940,8,17,23,32,-1,-8388608,8388607,12,18,7,15,996498304,-3833856},
    {-1273637787,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613622400,-2785280},
    {-1334809498,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420126848,-44728320},
    {-204745625,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1619691648,-269123584},
    {-506525592,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246306944,-2818048},
    {-1583421335,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493902720,-2785280},
    {-287694742,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727355776,-4882432},
    {-123573141,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-185804160,-2818048},
    {-502915988,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996315520,-7012352},
    {-1494751123,8,17,23,32,-1,-8388608,8388607,12,18,7,15,662002560,-2818048},
    {-1713835922,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1250632320,-2818048},
    {-876787601,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-193667712,-2818048},
    {-968402832,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1955242112,-36339712},
    {-74905487,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-440607360,-2818048},
    {-502529934,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1979015040,-19595264},
    {-1058910093,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1999985536,-2654208},
    {-1633172364,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613458048,-17498112},
    {-1306822539,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922573440,-2818048},
    {-389991306,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-911156608,-2785280},
    {-1618889609,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1502291072,-4915200},
    {-647557000,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653613696,-2785280},
    {-722675591,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-369804672,-2260992},
    {-412091270,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922573440,-2785280},
    {-368527237,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-349357184,-688128},
    {-628091780,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1987394176,-688128},
    {-485654403,8,17,23,32,-1,-8388608,8388607,12,18,7,15,654138112,-2785280},
    {-154700674,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-160113792,-2785280},
    {-1777651585,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1990024064,-2785280},
    {-1123982208,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-36372480},
    {-1690816383,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-184754816,-2785280},
    {-875986814,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-914442368,-1736704},
    {-280228733,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727487616,-36339712},
    {-1496007548,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-629351040,-688128},
    {-386294651,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-615161984,-36339712},
    {-635628410,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1221763200,-18907136},
    {-1980305273,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1144693120,-40566784},
    {-573704056,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727880832,-36339712},
    {-964590455,8,17,23,32,-1,-8388608,8388607,12,18,7,15,996498304,-1769472},
    {-425734006,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604710272,-2785280},
    {-1791347573,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225336064,-4096000},
    {-1577992052,8,17,23,32,-1,-8388608,8388607,12,18,7,15,996498304,-1769472},
    {-541887347,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-339789184,-2785280},
    {-142417778,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1247486592,-2654208},
    {-55960433,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1762304128,-36339712},
    {-70424432,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-646653184,-2818048},
    {-844483439,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-621453440,-44761088},
    {-1684687726,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-906700160,-2818048},
    {-1577409389,8,17,23,32,-1,-8388608,8388607,12,18,7,15,652958592,-1146880},
    {-853789548,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1486561920,-36339712},
    {-1245711211,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-407019904,-36372480},
    {-877438826,8,17,23,32,-1,-8388608,8388607,12,18,7,15,662002560,-2818048},
    {-536860521,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2070241152,-17498112},
    {-657289064,8,17,23,32,-1,-8388608,8388607,12,18,7,15,670391936,-36339712},
    {-766364519,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2004179840,-2785280},
    {-1487588198,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1534417792,-2818048},
    {-919036773,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820736,-19562496},
    {-353124196,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-625647744,-36339712},
    {-2048797539,8,17,23,32,-1,-8388608,8388607,12,18,7,15,498431616,-271253504},
    {-1985854306,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-353551744,-1212416},
    {-1790049121,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1822116480,-4915200},
    {-1994688352,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493902592,-753664},
    {-1124306783,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-147497088,-44728320},
    {-1098015582,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1678942592,-35291136},
    {-635049821,8,17,23,32,-1,-8388608,8388607,12,18,7,15,920869760,-6848512},
    {-1135911772,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1258890112,-2785280},
    {-522389339,8,17,23,32,-1,-8388608,8388607,12,18,7,15,666197632,-36372480},
    {-1857720154,8,17,23,32,-1,-8388608,8388607,12,18,7,15,654139008,-36405248},
    {-892626777,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1700438400,-36339712},
    {-1802671960,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1695195264,-36372480},
    {-1979762519,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246831232,-2785280},
    {-1578957654,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996446592,-2818048},
    {-953697109,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-612541568,-4882432},
    {-933104468,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2850816},
    {-1813457747,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1503077760,-1736704},
    {-2130025298,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921524864,-720896},
    {-64257873,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225467264,-2785280},
    {-1275581264,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1739938432,-2818048},
    {-1159441231,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1731551104,-44728320},
    {-1563449166,8,17,23,32,-1,-8388608,8388607,12,18,7,15,448224128,-589824},
    {-876777293,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653089664,-163840},
    {-1002531660,8,17,23,32,-1,-8388608,8388607,12,18,7,15,935148416,-1638400},
    {-876178251,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917846912,-720896},
    {-2014421834,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1485513856,-2785280},
    {-1187972937,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1230546048,-12222464},
    {-1410103112,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263215232,-3047424},
    {-271978311,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-646521984,-688128},
    {-1732082502,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-612540544,-19595264},
    {-1942547269,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-616768128,-2785280},
    {-1796066116,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1502291328,-2818048},
    {-1290345283,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-612574592,-2785280},
    {-1227859778,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-307939456,-19562496},
    {-1158567745,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1503339904,-2818048},
    {-199459648,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242112640,-557056},
    {-1694589759,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1502815616,-2785280},
    {-638381886,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1978490496,-2260992},
    {-622122813,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653613696,-2818048},
    {-572478268,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1696244096,-36372480},
    {-875504443,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922049408,-2785280},
    {-323496762,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-415801472,-44728320},
    {-1982303033,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-629875328,-1736704},
    {-190276408,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1514218112,-2785280},
    {-972070711,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-424354944,-9338880},
    {-677003062,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-159949184,-36339712},
    {-1715934005,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2785280},
    {-1382614836,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648371840,-35815424},
    {-1519650611,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727880832,-36339712},
    {-680535858,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1678976384,-2785280},
    {-1836400433,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1958567552,-2818048},
    {-1695307568,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1954751616,-1212416},
    {-624942895,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151167360,-36339712},
    {-1672618798,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1739939456,-34111488},
    {-41274157,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-881534080,-2785280},
    {-189796140,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1250632320,-2785280},
    {-533904171,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974427008,-2129920},
    {-636413738,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1426899072,-36339712},
    {-824599337,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995790976,-2785280},
    {-1063106344,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1241719424,-2818048},
    {-1225027367,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-625516672,-36339712},
    {-93633318,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699389568,-37388288},
    {-1814255397,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242112640,-2686976},
    {-992627492,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1258497408,-3309568},
    {-319116067,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-877339776,-2785280},
    {-597040930,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-457909376,-12484608},
    {-784672545,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-638264704,-3866624},
    {-1705107232,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1514742400,-2129920},
    {-410929951,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1695195520,-36339712},
    {-1951852318,8,17,23,32,-1,-8388608,8388607,12,18,7,15,660953984,-2818048},
    {-1645156125,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1734695808,-851968},
    {-1067019036,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1975344512,-2785280},
    {-1418802971,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995914112,-11173888},
    {-927467290,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-610181248,-36339712},
    {-268886809,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1754351744,-20480000},
    {-1286808344,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229104256,-10125312},
    {-1312012055,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-2850816},
    {-1918549782,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-204067605,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2075482752,-2818048},
    {-2018696980,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224909184,-36339712},
    {-740614931,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2785280},
    {-1971060498,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-617260160,-2654208},
    {-1290806033,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-377653504,-554336256},
    {-1753953040,8,17,23,32,-1,-8388608,8388607,12,18,7,15,938303104,-34275328},
    {-1213749007,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1735875456,-2785280},
    {-954445582,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242768000,-2818048},
    {-1734477581,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1954751616,-2785280},
    {-1189620492,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-3702784},
    {-1699336971,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-36339712},
    {-15486730,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1722321024,-286949376},
    {-2053936905,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420160896,-2785280},
    {-1732991752,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922041088,-950272},
    {-298081031,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151691392,-36339712},
    {-19498758,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420416,-36372480},
    {-1641863941,8,17,23,32,-1,-8388608,8388607,12,18,7,15,654139008,-36372480},
    {-2145042180,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2076139392,-19595264},
    {-1983979267,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1962236800,-10649600},
    {-712175362,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494427008,-3833856},
    {-1715130113,8,17,23,32,-1,-8388608,8388607,12,18,7,15,426597248,-688128},
    {-1668798208,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2006268800,-9109504},
    {-1520609023,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1972723072,-2785280},
    {-1251926782,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-344638720,-2818048},
    {-1863153405,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921000832,-2260992},
    {-2099312380,8,17,23,32,-1,-8388608,8388607,12,18,7,15,915758976,-44793856},
    {-1492534011,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613064832,-19562496},
    {-1867787002,8,17,23,32,-1,-8388608,8388607,12,18,7,15,918380416,-69926912},
    {-350188281,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653614720,-36339712},
    {-482276088,8,17,23,32,-1,-8388608,8388607,12,18,7,15,926899072,-688128},
    {-916914935,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970626432,-19562496},
    {-609752822,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498096768,-720896},
    {-781649653,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1250632320,-2785280},
    {-1489195764,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-3866624},
    {-910963443,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-457384576,-2818048},
    {-1937625842,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653746048,-37421056},
    {-447527665,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613064832,-19562496},
    {-1914685168,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-160080256,-36339712},
    {-1492494063,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-2785280},
    {-1987499758,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1497965696,-11042816},
    {-1951029997,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996315520,-720896},
    {-767099628,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-182594283,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2008890240,-9109504},
    {-792210154,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727356544,-36372480},
    {-1157897961,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-609919104,-44761088},
    {-1007613672,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-576358528,-278560768},
    {-507649767,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1962368640,-2818048},
    {-11005670,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-906700160,-2818048},
    {-1971480293,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-1539151588,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723161472,-2785280},
    {-1534592739,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1968382592,-2523136},
    {-970590946,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723162496,-36339712},
    {-1613173473,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1678287232,-36339712},
    {-2112540384,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263225472,-1802240},
    {-939515615,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-3866624},
    {-2107802334,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1421687680,-1736704},
    {-115807965,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225433472,-36208640},
    {-1601289948,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1233331584,-2785280},
    {-1133128411,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420160896,-2785280},
    {-872216282,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453584256,-2719744},
    {-197841625,8,17,23,32,-1,-8388608,8388607,12,18,7,15,385178496,-6979584},
    {-1818334936,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922181248,-36339712},
    {-1689281239,8,17,23,32,-1,-8388608,8388607,12,18,7,15,918117248,-688128},
    {-211894998,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1005936256,-36372480},
    {-507235029,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613064832,-36339712},
    {-467301076,8,17,23,32,-1,-8388608,8388607,12,18,7,15,460675968,-2785280},
    {-1838773971,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820224,-2785280},
    {-1488453330,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653746048,-36864000},
    {-920604369,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498097024,-2785280},
    {-118644432,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246438016,-3866624},
    {-2120169167,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1530747776,-9076736},
    {-1745012430,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1510285952,-2654208},
    {-417104589,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995922304,-6979584},
    {-480873164,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1005410944,-2129920},
    {-621306571,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1999985280,-2818048},
    {-704284362,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1992112768,-622592},
    {-1960292041,8,17,23,32,-1,-8388608,8388607,12,18,7,15,469195648,-11206656},
    {-514853576,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229661568,-2785280},
    {-932184775,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-462627456,-2293760},
    {-187610822,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494427008,-2785280},
    {-30538437,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996315520,-6979584},
    {-1158432452,8,17,23,32,-1,-8388608,8388607,12,18,7,15,481779584,-86147072},
    {-1257490115,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1974820736,-19595264},
    {-971593410,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1257060992,-688128},
    {-1833227969,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-613065984,-2785280},
    {-457144000,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420127104,-36372480},
    {-1037623999,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229636736,-10125312},
    {-1749542590,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-615195776,-5931008},
    {-1769676477,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263216000,-1769472},
    {-341032636,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246438016,-2818048},
    {-1772489403,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2785280},
    {-1085865658,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-419636608,-2785280},
    {-133203641,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-1281565368,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970232704,-688128},
    {-2109120183,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229628544,-10125312},
    {-607362742,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995922048,-2785280},
    {-1389459125,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727487616,-34242560},
    {-1121736372,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995791104,-2818048},
    {-1795003059,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1830979712,-277381120},
    {-892451506,8,17,23,32,-1,-8388608,8388607,12,18,7,15,989289344,-2818048},
    {-268198577,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604677504,-2785280},
    {-657634992,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995791232,-6979584},
    {-1302117039,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1526029184,-4882432},
    {-2135091886,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-71999616,-36339712},
    {-1169677997,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1251811968,-2785280},
    {-382182060,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-655041920,-2785280},
    {-1866607275,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1230685312,-11206656},
    {-134783658,8,17,23,32,-1,-8388608,8388607,12,18,7,15,985488256,-1736704},
    {-2104951465,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995790976,-2785280},
    {-1332443816,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995266688,-3833856},
    {-1394820775,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-36339712},
    {-1808262822,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2008234624,-589824},
    {-1787968165,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922050432,-42663936},
    {-1419066020,8,17,23,32,-1,-8388608,8388607,12,18,7,15,670391936,-36339712},
    {-1471194787,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727355520,-2785280},
    {-1005472418,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1229103232,-36372480},
    {-198099617,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1213375616,-11173888},
    {-1023768224,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1525767040,-4882432},
    {-1735328415,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1482237056,-2654208},
    {-429104798,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-2785280},
    {-392504989,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-688128},
    {-1526722204,8,17,23,32,-1,-8388608,8388607,12,18,7,15,733428608,-9076736},
    {-1073047195,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991334784,-2654208},
    {-1581217434,8,17,23,32,-1,-8388608,8388607,12,18,7,15,468016000,-11173888},
    {-1792790169,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420126848,-44728320},
    {-254441112,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1163567488,-36339712},
    {-366778007,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991728000,-2785280},
    {-311615126,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420520320,-36372480},
    {-2066602645,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-625647744,-36339712},
    {-503819924,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1979015040,-18415616},
    {-809150099,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951040,-4882432},
    {-1218584210,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727880064,-8028160},
    {-1991293585,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151560576,-35323904},
    {-1892932240,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995922048,-2785280},
    {-823820943,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-424321152,-36339712},
    {-595409550,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1699389824,-33751040},
    {-816702093,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1955242368,-36339712},
    {-1965860492,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1262690944,-2785280},
    {-121992843,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2818048},
    {-358305418,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917854848,-2785280},
    {-1623811721,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-457908864,-2785280},
    {-1072603784,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-605594752,-9076736},
    {-1078200967,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420126848,-44728320},
    {-820263558,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1233331328,-6979584},
    {-1559706245,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-461578880,-4882432},
    {-1301895812,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1426637184,-36339712},
    {-609500803,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604710272,-2818048},
    {-70331010,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1154130048,-23756800},
    {-1430180481,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922573440,-688128},
    {-1651841664,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1689607040,-2785280},
    {-546660991,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922040064,-720896},
    {-1777423998,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917854848,-688128},
    {-2064149117,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-432743808,-3833856},
    {-1031688828,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1959470464,-2785280},
    {-1285108347,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922049408,-6979584},
    {-1639561850,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-604710272,-2818048},
    {-256959097,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723161472,-2818048},
    {-605926008,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608870528,-44728320},
    {-1400043127,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-164268416,-537591808},
    {-1768131190,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498325120,-36339712},
    {-1801265781,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1533500288,-6979584},
    {-263360116,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-441655936,-2785280},
    {-1822313075,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-907224192,-2850816},
    {-2007597682,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1962236544,-2785280},
    {-1515672177,8,17,23,32,-1,-8388608,8388607,12,18,7,15,665672320,-753664},
    {-163989104,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1259545984,-2785280},
    {-1813127791,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1224811904,-2654208},
    {-533566062,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727355520,-2785280},
    {-1024960109,8,17,23,32,-1,-8388608,8388607,12,18,7,15,662003584,-36339712},
    {-504687212,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1263477632,-2686976},
    {-1314409067,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225433472,-37388288},
    {-2019469930,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917985920,-2785280},
    {-507688553,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917854848,-688128},
    {-1527373416,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727356544,-36372480},
    {-162855527,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1995922048,-3833856},
    {-509182566,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922049408,-11206656},
    {-450040421,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727355520,-2785280},
    {-735573604,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1970625920,-2785280},
    {-1028707,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419648,-2785280},
    {-1362739810,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1498063232,-36339712},
    {-1762524769,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1978490240,-2785280},
    {-1458793056,8,17,23,32,-1,-8388608,8388607,12,18,7,15,657809024,-36339712},
    {-1133828703,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1969708416,-688128},
    {-1164218974,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1718967168,-3702784},
    {-470688349,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-411738240,-36339712},
    {-744801884,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1242243712,-2785280},
    {-1293366875,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-608870784,-36372480},
    {-715156058,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1542282112,-11173888},
    {-378710617,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453584256,-2785280},
    {-1749961304,8,17,23,32,-1,-8388608,8388607,12,18,7,15,653614976,-36339712},
    {-628458071,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1744264832,-36372480},
    {-385556054,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2075483008,-2818048},
    {-1082813013,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1245913728,-688128},
    {-231939668,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1542806400,-9076736},
    {-1491996243,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2004695936,-688128},
    {-704945746,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2074958464,-3866624},
    {-620295761,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225467008,-2785280},
    {-1992920656,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921524864,-720896},
    {-1777498703,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1762304128,-36339712},
    {-1954156110,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1918203520,-537559040},
    {-566931021,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-138584448,-36339712},
    {-1923117644,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-88252800,-36372480},
    {-1493374539,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1951048832,-2785280},
    {-146321994,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917986176,-2785280},
    {-718669385,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1266885248,-2818048},
    {-412823112,8,17,23,32,-1,-8388608,8388607,12,18,7,15,922573440,-2818048},
    {-1654463047,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-151167360,-36339712},
    {-856152646,8,17,23,32,-1,-8388608,8388607,12,18,7,15,448093056,-2785280},
    {-250230341,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-614147200,-2785280},
    {-1677587012,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-919282816,-2785280},
    {-1254331971,8,17,23,32,-1,-8388608,8388607,12,18,7,15,720714368,-688128},
    {-264076866,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1542806400,-11173888},
    {-1930516033,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225336064,-2818048},
    {-1482427968,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917854848,-2785280},
    {-1022969407,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-612574336,-688128},
    {-273920574,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1538612096,-11173888},
    {-1716702781,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991596928,-3833856},
    {-2118611516,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1696637312,-34275328},
    {-1267653179,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1542806400,-11173888},
    {-173597242,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1700438144,-36339712},
    {-915905081,8,17,23,32,-1,-8388608,8388607,12,18,7,15,972389248,-269385728},
    {-1174597176,8,17,23,32,-1,-8388608,8388607,12,18,7,15,647847808,-37322752},
    {-270403127,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917855104,-3866624},
    {-1838393910,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1727879808,-2785280},
    {-682038837,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1208656256,-34275328},
    {-177593908,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1722113920,-36372480},
    {-1201651251,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649419392,-2785280},
    {-525282866,8,17,23,32,-1,-8388608,8388607,12,18,7,15,385178496,-6979584},
    {-313352753,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-625647744,-36339712},
    {-1154116144,8,17,23,32,-1,-8388608,8388607,12,18,7,15,916929408,-688128},
    {-2134816303,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1996307072,-1736704},
    {-1236746798,8,17,23,32,-1,-8388608,8388607,12,18,7,15,917330816,-2818048},
    {-1616525869,8,17,23,32,-1,-8388608,8388607,12,18,7,15,647323264,-36372480},
    {-852789804,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1947246976,-34144256},
    {-1023438379,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1212850304,-44728320},
    {-1609326122,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1493737856,-36405248},
    {-851739177,8,17,23,32,-1,-8388608,8388607,12,18,7,15,989290112,-36208640},
    {-1519788584,8,17,23,32,-1,-8388608,8388607,12,18,7,15,385178496,-6848512},
    {-1252321831,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991719808,-11173888},
    {-1955595814,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246438016,-2785280},
    {-944334373,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2008373888,-2654208},
    {-71177764,8,17,23,32,-1,-8388608,8388607,12,18,7,15,648502144,-2785280},
    {-733010467,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1994734336,-688128},
    {-1786105378,8,17,23,32,-1,-8388608,8388607,12,18,7,15,2063031168,-11173888},
    {-1595339297,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1245880448,-86671360},
    {-1189561888,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453584256,-2785280},
    {-274349599,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-36339712},
    {-1987864094,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1246438016,-2818048},
    {-1208658461,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-429598080,-3833856},
    {-1699535388,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1744658048,-36339712},
    {-1525872155,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1354270848,-554893312},
    {-2009215514,8,17,23,32,-1,-8388608,8388607,12,18,7,15,926243456,-2785280},
    {-1487992345,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991588736,-2654208},
    {-1199449624,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-643507584,-2785280},
    {-1007431191,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420672,-36339712},
    {-1965866518,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420126848,-44761088},
    {-281203221,8,17,23,32,-1,-8388608,8388607,12,18,7,15,921525120,-8060928},
    {-1239703060,8,17,23,32,-1,-8388608,8388607,12,18,7,15,649420416,-36405248},
    {-1459250707,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1629134976,-36339712},
    {-348382738,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1502029056,-2785280},
    {-1792483857,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1728011904,-36372480},
    {-514033168,8,17,23,32,-1,-8388608,8388607,12,18,7,15,918379392,-2785280},
    {-1517208079,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494164608,-3309568},
    {-1608893966,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-420127104,-36339712},
    {-1806595597,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1991597952,-36339712},
    {-292856332,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1494951296,-2785280},
    {-1575680523,8,17,23,32,-1,-8388608,8388607,12,18,7,15,670523264,-43712512},
    {-1791992330,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1518936704,-753664},
    {-505881097,8,17,23,32,-1,-8388608,8388607,12,18,7,15,1723162496,-36339712},
    {-115487240,8,17,23,32,-1,-8388608,8388607,12,18,7,15,666197632,-36339712},
    {-1154676231,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-453191040,-2818048},
    {-20768262,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-688425088,-11206656},
    {-803608069,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1217971328,-5013504},
    {-1500145156,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-1225860480,-2785280},
    {-1626007043,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-147506304,-851968},
    {-620325378,8,17,23,32,-1,-8388608,8388607,12,18,7,15,-638264704,-2785280},
    {-922915329,8,17,23,32,-1,-8388608,8388607,12,18,7,15,670916224,-36372480},
};

